export const Stdin: File
    native '__SysStdin';
export const Stdout: File
    native '__SysStdout';
export const Stderr: File
    native '__SysStderr';

export function scanln:
    &(String) => Async[String,Error]
    &(prompt) =>
        let read := Stdin.{read-line},
        if (prompt != ''):
            \ await (Stderr write-string prompt),
            read,
        else:
            read;
export function println:
    &(String) => Async[unit,Error]
    &(content) => (Stdout write-line content);
export function println:
    &(List[String]) => Async[unit,Error]
    &(list) => (Stdout write-line (list join ' '));


